Computational Logic — Working Material 1 —
نویسنده
چکیده
منابع مشابه
Science of Computational Logic — Working Material
1 The working material is incomplete and may contain errors. Any suggestions are greatly appreciated. Notation In this book we will make the following notational conventions: a constant b constant C unary relation symbol denoting a concept C set of concept formulas D non-empty domain of an interpretaion E set of equations Es expression containing an occurrence of the term s Es/t expression wher...
متن کاملUsing Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law
Legal reasoning is one of the most obvious application areas for computational models of argumentation as the exchange of arguments and counterarguments is the established means for making decisions in law. In this paper we employ Defeasible Logic Programming (DeLP) for representing legal cases and for giving decision-support, exemplary for private law. We give a formalization of legal provisio...
متن کاملQuantifiers and Working Memory
The paper presents a study examining the role of working memory in quantifier verification. We created situations similar to the span task to compare numerical quantifiers of low and high rank, parity quantifiers and proportional quantifiers. The results enrich and support the data obtained previously in [1–3] and predictions drawn from a computational model [4, 5].
متن کاملMaking Working Memory Work: A Computational Model of Learning in the Prefrontal Cortex and Basal Ganglia
The prefrontal cortex has long been thought to subserve both working memory (the holding of information online for processing) and executive functions (deciding how to manipulate working memory and perform processing). Although many computational models of working memory have been developed, the mechanistic basis of executive function remains elusive, often amounting to a homunculus. This artic...
متن کاملSome applications of Computational Logic to the development of intelligent systems and verification methods
Computational Logic plays a very relevant role in engineering complex systems. It can be used to specify systems at different levels of abstraction. The specifications are executable, thus providing a working prototype for free. Thanks to its well-founded semantics it can be used to reason about the correctness of the specifications, a fundamental aspect when safety critical applications are de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003